On limitwise monotonicity and maximal block functions
نویسندگان
چکیده
منابع مشابه
On limitwise monotonicity and maximal block functions
We prove the existence of a limitwise monotonic function g : N→ N \ {0} such that, for any Π1 function f : N → N \ {0}, Ran f 6= Ran g. Relativising this result we deduce the existence of an η-like computable linear ordering A such that, for any Π2 function F : Q → N \ {0}, and η-like B of order type ∑ {F (q) | q ∈ Q }, B A . We prove directly that, for any computable A which is either (i) stro...
متن کاملLC-functions and maximal monotonicity
In this paper, we consider LC–functions, a class of special convex functions from the product of a reflexive Banach space and its dual into ]−∞,∞]. Using Fitzpatrick functions, we will show that the theory of LC–functions is a proper extension of the theory of maximal monotone sets. Various versons of the Fenchel duality theorem lead to a number of results on maximal monotonicity, some of them ...
متن کاملLimitwise Monotonic Functions and Their Applications
We survey what is known about limitwise monotonic functions and sets and discuss their applications in effective algebra and computable model theory. Additionally, we characterize the computably enumerable degrees that are totally limitwise monotonic, show the support strictly increasing 0′-limitwise monotonic sets on Q do not capture the sets with computable strong η-representations, and study...
متن کاملLimitwise monotonic functions, sets, and degrees on computable domains
We extend the notion of limitwise monotonic functions to include arbitrary computable domains. We then study which sets and degrees are support increasing (support strictly increasing) limitwise monotonic on various
متن کاملTechniques for maximal monotonicity
The purpose of this paper is to describe three techniques that are useful for the investigation of monotone sets and multifunctions, and give two applications of them. The three techniques use the “fg–theorem”, the “big convexification” of a subset of E × E∗ or a multifunction E 7→ 2E (we suppose throughout that E is a nontrivial real Banach space with dual E∗), and the “convex function associa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computability
سال: 2015
ISSN: 2211-3576,2211-3568
DOI: 10.3233/com-150037